Holmström's theorem